gtkwidget: Widgets are now always double-buffered
authorJasper St. Pierre <jstpierre@mecheye.net>
Fri, 20 Jun 2014 15:11:24 +0000 (11:11 -0400)
committerJasper St. Pierre <jstpierre@mecheye.net>
Sat, 21 Jun 2014 00:41:54 +0000 (20:41 -0400)
commitb875572f2af532b0e8f2dc368f8dc824b5f92724
tree9a26bdf33c8ac8bec1bb741ee884e8499a81a434
parenta85f7028d47a39b18eb477601943b39c08147dc7
gtkwidget: Widgets are now always double-buffered

gtk_widget_set_double_buffered is now deprecated, and we don't support
non-double-buffered widgets. This means that under normal circumstances,
paints are never outside of a begin_paint / end_paint sequence, which
natively-double-buffered backends like Wayland can't possibly support.
gdk/gdkwindow.c
gtk/gtkmain.c
gtk/gtkwidget.c